greatest lower bound, infimum

下确界; 又称“最大下界”。